System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
341	ABS: A Core Language for Abstract Behavioral Specification ? Einar Broch Johnsen1 , Reiner Hähnle2 , Jan Schäfer3 , Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2011-07-05 10:09:24 Type theory Data types Object-oriented programming Functional programming Program analysis Type system Objective-C Polymorphism C Sharp Software engineering Computing Computer programming
342	Scala and the web Using Lift to write a simple CMS Monday, 27 April 2009 What are Scala and Lift? Add to Reading List Source URL: accu.org Language: English - Date: 2009-04-29 12:22:27 Java platform Java programming language Functional languages Java virtual machine Scala Java Martin Odersky Functional programming Type system Computing Software engineering Cross-platform software
343	http://www.nologin.org Remote Library Injection skape Add to Reading List Source URL: www.nologin.org Language: English - Date: 2013-06-03 16:27:30 Computer file formats Dynamic loading C programming language Address space layout randomization Hooking Library Dynamic-link library C standard library Pointer Computing Software System software
344	Technical Report UCAM-CL-TR-605 ISSNNumber 605 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:00:33 Functional languages Type system Type safety Programming language Haskell OCaml Racket ML ALGOL 68 Software engineering Computing Programming language theory
345	DEPARTMENT OF DEFENSE REQUIREMENTS FOR HIGH ORDER COMPUTER PROGRAMMING LANGUAGES ÒSTEELMANÓ Add to Reading List Source URL: www.adahome.com Language: English - Date: 1996-11-26 12:42:17 Type theory Primitive types Computer programming English grammar Shall and will Type system Programming language Constant Boolean data type Data types Software engineering Computing
346	InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems Timothy Roscoe Intel Research – Berkeley Richard Mortier Microsoft Research – Cambridge Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2009-06-12 12:01:20 Reasoning Prolog Domain name system Nmap Knowledge representation and reasoning Peer-to-peer Microsoft SQL Server Logic programming Port scanner Computing Software Programming paradigms
347	KOSMOS IDC 6.1 Instrument Controller to Data Handling System Add to Reading List Source URL: www.noao.edu Language: English - Date: 2011-03-07 16:42:58 Software engineering Exec POSIX Process Process.h Open ALGOL 68 Computing C POSIX library Programming language theory
348	Technical Report UCAM-CL-TR-569 ISSNNumber 569 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:57:58 Type theory Data types Type system Abstraction Abstract data type Type safety ALGOL 68 Programming language Lambda calculus Software engineering Computing Programming language theory
349	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:36 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
350	Paradyn Parallel Performance Tools SymtabAPI Programmer’s Guide 8.2 Release Aug 2014 Add to Reading List Source URL: www.paradyn.org Language: English - Date: 2014-08-19 15:19:30 Object-oriented programming Data types Java programming language Application programming interface Technical communication Object Class Abstraction Type system Software engineering Computing Computer programming

UPDATE